Type inference - PDFSEARCH.IO - Document Search Engine

Type inference
Results: 490

#	Item
481	PDF Document Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-12-10 15:02:11 Computing Type system Generalized algebraic data type System F Type inference Lambda calculus ML Programming language Subtype polymorphism Type theory Software engineering Programming language theory
482	PDF Document Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2012-09-05 20:22:17 Computing Data types Procedural programming languages Object-oriented programming Functional languages Type system Type inference Generic programming Subtype polymorphism Software engineering Type theory Programming language theory
483	PDF Document Add to Reading List Source URL: faculty.washington.edu Language: English - Date: 2008-05-23 12:10:52 Change detection Receiver operating characteristic Resampling Type I and type II errors Normal distribution Bootstrapping Statistics Statistical inference Detection theory
484	PDF Document Add to Reading List Source URL: cat-language.com Language: English - Date: 2008-04-20 02:46:37 Type theory Generic programming Data types Stack-oriented programming language Stack Type inference Type system Forth Function composition Software engineering Computing Computer programming
485	PDF Document Add to Reading List Source URL: ftp.isds.duke.edu Language: English - Date: 2003-11-16 16:41:57 Design of experiments Psychometrics Statistical tests Statistical hypothesis testing Statistical significance Alternative hypothesis Null hypothesis Statistical power Type I and type II errors Statistics Hypothesis testing Statistical inference
486	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2005-12-29 03:26:05 Software engineering Generalized algebraic data type Type system Type inference Entailment Type safety Natural deduction Symbol Type theory Logic Programming language theory
487	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2008-10-29 09:09:56 Symbol Type system Software engineering Type inference Orbifold Type theory Programming language theory Theoretical computer science
488	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2008-09-15 04:36:07 Mathematical logic Type system Unification Admissible rule Type inference Symbol Entailment Generic programming Hindley–Milner Type theory Logic Mathematics
489	PDF Document Add to Reading List Source URL: tomasp.net Language: English - Date: 2013-09-17 09:26:02 Subroutines Type theory Functional languages Data types Functional programming Type inference Map Closure Type system Software engineering Computing Computer programming